" José Meseguer" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer

8.02 Mb

#2

Algebraic Methodology and Software Technology, 12 conf., AMAST 2008

José Meseguer, Grigore Rosu

Категория: CsLn_

8.73 Mb

#3

All about Maude.. a high-performance logical framework

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott

Категория: CsLn_

5.51 Mb

#4

Concurrency, Graphs and Models

Pierpaolo Degano, Rocco de Nicola, José Meseguer

Категория: CsLn_

10.15 Mb

#5

Algebra, meaning and computation. Essays dedicated to J.A. Goguen

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer

5.22 Mb

#6

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Pierpaolo Degano, Rocco de Nicola, José Meseguer

Категория: Computer Science, Computer Science

24.22 Mb

#7

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)

José Meseguer, Grigore Rosu

Категория: Computer Science, Computer Science

9.87 Mb

#8

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer

6.57 Mb